Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
201	12eds04_newtrimsize.qxd:20 PM Add to Reading List Source URL: eds.ieee.org Language: English - Date: 2012-02-07 15:25:04 Electromagnetism Integrated circuits International Electron Devices Meeting IEEE Electron Devices Society Non-volatile memory Institute of Electrical and Electronics Engineers Very-large-scale integration IEEE Council on Electronic Design Automation Hot carrier injection Electronic engineering Semiconductors Electronics
202	High-level Analysis for Reconfiguration of a Fault Tolerant Mesh-based NoC Architecture Using Transaction Level Modeling Homa Alemzadeh1, Fatemeh Refan1, Paolo Prinetto2, Zainalabedin Navabi1 1 CAD Research Laboratory Add to Reading List Source URL: users.crhc.illinois.edu Language: English - Date: 2015-05-01 15:47:10 SystemC Transaction-level modeling Network switch Routing Fault-tolerant system Transmission Control Protocol Electronic engineering Electronic design automation Network On Chip
203	Versatile, Scalable, and Accurate Simulation of Distributed Applications and Platforms Henri Casanovaa , Arnaud Gierschb , Arnaud Legrandc , Martin Quinsond , Fr´ed´eric Sutere,f,∗ a Dept. of Information and Compute Add to Reading List Source URL: navet.ics.hawaii.edu Language: English - Date: 2014-08-21 14:54:08 Electronic design automation Operations research Simulation SimGrid Network simulation Emulator OverSim Logic simulation Network emulation Electronic engineering Computing Digital electronics
204	Microsoft PowerPoint - Seshia-Induction-Deduction-DATE13 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-03-18 09:59:28 Electronic design automation Theoretical computer science Applied mathematics Temporal logic Logic in computer science Linear temporal logic Uclid Formal verification Logic synthesis Electronic engineering Problem solving Reasoning
205	SAT 2009 competitive events booklet: preliminary version Organizers SAT competition: Daniel Le Berre, Olivier Roussel, Laurent Simon PB competition: Vasco Manquinho, Olivier Roussel Max-SAT competition: Josep Argelich, C Add to Reading List Source URL: www.cril.univ-artois.fr Language: English - Date: 2009-09-30 10:44:43 Logic in computer science Automated theorem proving Numerical software Electronic design automation Formal methods Boolean satisfiability problem 2-satisfiability Satz GRASP Theoretical computer science Mathematics Applied mathematics
206	DynMapNoCSIM : A Dynamic Mapping SIMULATOR for Network on Chip based MPSoC 1, 3 Mohammed Kamel Benhaoua, 2AmitKumar Singh, 1Abou El Hassan Benyamina, 3Pierre Boulet Add to Reading List Source URL: dline.info Language: English - Date: 2015-04-20 11:29:01 Parallel computing Microprocessors Electronic design automation Network On Chip System on a chip Field-programmable gate array MPSoC Embedded system Simulation Electronic engineering Computing Electronics
207	An Introduction to Satisfiability Modulo Theories Clark Barrett and Sanjit Seshia ICCAD 2009 Tutorial – p. 1/78 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2011-05-26 11:35:50 Electronic design automation Logic in computer science Satisfiability Modulo Theories Theoretical computer science Applied mathematics Constraint programming
208	Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Justyna Petke1 , Mark Harman1 , William B. Langdon1 , and Westley Weimer2 1 2 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2014-07-05 17:14:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Mathematical optimization Boolean satisfiability problem Mutation Genetic programming Solver Theoretical computer science Applied mathematics Mathematics
209	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic
210	ASSOCIATION CONNECTING ELECTRONICS INDUSTRIES IPC-2524 PWB Fabrication Data Quality Rating System Add to Reading List Source URL: webstds.ipc.org Language: English - Date: 2013-03-20 18:25:14 Electromagnetism Electronic design automation Electrical engineering Printed circuit board Engineering Change Order Gerber format Semiconductor device fabrication Electronics manufacturing Electronic engineering Electronics

UPDATE